\frame[containsverbatim]
{
  \frametitle{Modify emitWarning method}
{\scriptsize
\begin{Verbatim}[commandchars=@\[\]]
private void emitWarning() {
  [@color[blue]if (inMain) {]
    [@color[blue]return;]
  [@color[blue]}]
  [@color[blue]String type = inFinalizer ?]
    [@color[blue]"SGC_SYSTEM_GC_IN_FINALIZER" : "SGC_SYSTEM_GC";]
  [@color[blue]int priority = inFinalizer ?]
    [@color[blue]Priorities.HIGH_PRIORITY : Priorities.NORMAL_PRIORITY;]
  BugInstance warning = new BugInstance(this, type, priority)
    .addClassAndMethod(this)
    .addSourceLine(this);
  bugReporter.reportBug(warning);
}
\end{Verbatim}
}
}
